A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

Summary This paper presents a new argument against the widely accepted view that Eratosthenes and some other Greek authors of the pre-Roman period measured distances in special stades that were much shorter than the ‚common‘ stade of 185 m attested by the majority of sources.

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

The sources of religious tolerance but also of religious nationalism in post-soviet Russia can be found basically in the group identification of nationality and religion. In crisis situations, the historical religion of the Russian society - Orthodoxy - becomes the criterion for identifying the national identity. However, despite the fact that the majority of Russians in our times consider themselves Orthodox, many of them are not believers. The observable effect of the “external belief” results in the fact that the religion (...) tends to become a matter of personal choice and an individual value. It assumes a nationalistic function and to become an ideology. As a result, the political elite considers religion as a means of achieving different non- religious purposes. The Russian Orthodox Church, the official church, is compelled to take this fact into consider- ation and even support it. This is why religious intolerance and religious nationalism in modern Russia are often directed towards religion. (shrink)

Artykuł poświęcony jest specyfice rozwoju osobowości osób z OMZ, który rozumiany jest jako rozwój w utrudnionych warunkach, nie jest on tożsamy ani z normalnym, ani anomalnym rozwojem. Cele, ukierunkowanie i kryteria rozwoju w utrudnionych warunkach nie odbiegają od normalnego rozwoju, jednak deficyt określonej kategorii zasobów rozwoju wymaga podniesionej mobilizacji pozostałych zasobów i podnosi miarę wysiłków, które należy dostosować do indywiduum dla osiągnięcia celów rozwoju. Teoretyczny model, zaproponowany w artykule, opisuje osobowościowy rozwój przez mechanizmy współdziałania fizycznych, społecznych i osobowościowych zasobów, kompensacje (...) deficytu jednych zasobów innymi. Sytuacja rozwoju osób z OMZ charakteryzuje się wyzwaniem niepełnosprawności, przyjęcie którego prowadzi do budowania u nich jakościowej figury systemu regulacji działania, opartego na kompensacji przez osobowościowe zasoby deficytu fizycznych środków, przy czym charakter tej kompensacji licznie kształtuje się dostępnością makrospołecznych i mikrospołecznych zasobów pomocy społecznej. (shrink)

The aim of this paper has been to draw attention to the non-cognitive aspects of Vygotsky's theoretical heritage. We hope that we have succeeded in presenting here his principal ideas on motivation and volition in the present-day problem context. It should be noted that the problem of human freedom and self-determination was of great importance for Vygotsky, though the explicit discussion of this problem is not common in his writings. Approaching this problem both as a philosopher and as a psychologist, (...) Vygotsky inevitably had first to get some idea of the general psychological regularities which could serve as a concrete-psychological basis for the constructive paradigm in the explanation of the phenomena of human freedom and “non-freedom.” It is highly probable that he planned to discuss this problem at length in his last uncompleted book,Doctrine of Affects. However, even the existing texts provide a weighty and insightful basis not only for scientific research but also for creating applied methods of enhancement of human will-power, or, more exactly, the talent to will. Some of the possibilities, revealed by the Vygotskian approach, are presented in the last section. Many other of Vygotsky's brilliant ideas still await an unbiased reading in the contemporary, rather than merely historical, context. (shrink)

The gain of a selective advantage in cancer as well as the establishment of complex traits during evolution require multiple genetic alterations, but how these mutations accumulate over time is currently unclear. There is increasing evidence that a mutator phenotype perpetuates the development of many human cancers. While in some cases the increased mutation rate is the result of a genetic disruption of DNA repair and replication or environmental exposures, other evidence suggests that endogenous DNA damage induced by AID/APOBEC cytidine (...) deaminases can result in transient localized hypermutation generating simultaneous, closely spaced (i.e. “clustered”) multiple mutations. Here, we discuss mechanisms that lead to mutation cluster formation, the biological consequences of their formation in cancer and evidence suggesting that APOBEC mutagenesis can also occur genome‐wide. This raises the possibility that dysregulation of these enzymes may enable rapid malignant transformation by increasing mutation rates without the loss of fitness associated with permanent mutators. (shrink)

The authors consider reflexive games that describe the interaction of subjects making decisions based on an awareness structure, i.e., a hierarchy of beliefs about essential parameters, beliefs about beliefs, and so on. It was shown that the language of graphs of reflexive games represents a convenient uniform description method for reflexion effects in bélles-léttres.

Sex chromosomes in plants have been known for a century, but only recently have we begun to understand the mechanisms behind sex determination in dioecious plants. Here, we discuss evolution of sex determination, focusing on Silene latifolia, where evolution of separate sexes is consistent with the classic “two mutations” model—a loss of function male sterility mutation and a gain of function gynoecium suppression mutation, which turned an ancestral hermaphroditic population into separate males and females. Interestingly, the gynoecium suppression function in (...) S. latifolia evolved via loss of function in at least two sex‐linked genes and works via gene dosage balance between sex‐linked, and autosomal genes. This system resembles X/A‐ratio‐based sex determination systems in Drosophila and Rumex, and could represent a steppingstone in the evolution of X/A‐ratio‐based sex determination from an active Y system. (shrink)

The first longevity revolution began in the middle of the 19th century, accelerated through the first half of the 20th century, and led to the first and only quantum leap in human life expectancy.In the 20th century alone, life expectancy at birth in most developed nations rose by about 30 years. The first three quarters of the century were notable for gains made at younger and middle ages, and in the last quarter century, old age mortality declined. Nothing in history (...) has ever come close to the magnitude of this benefit to humanity. The rise in life expectancy occurred swiftly because the primary beneficiaries of advances in public health and... (shrink)

The paper deals with the need for new methods in foreign language teaching to students of non-linguistic universities. The article presents a strategy to optimize the foreign language lesson. As an example an algorithm with authentic technical text in German is considered. It makes possible to change the work with foreign language text. It is proposed to substitute the standard tasks to the practice-oriented, which purpose is to teach students to understand the text.

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...) indicators of central tendency and variations, as well as methods of correlation analysis. The study is based on the data from regional statistics presented on the official website of Russian Statistics Agency, as well as data from monitoring the universities effectiveness, commissioned by the Ministry of Science and Higher Education of the Russian Federation. Scientific novelty of the research. For the first time, the authors present an empirical analysis of the relationship between indicators of socioeconomic development of Russian regions and indicators of scientific activity in universities in the region. The study is characterized by using a sample of homogeneous regions. The sample excluded regions that did not have significant scientific results, as well as regions that are leaders in economic development. As a result, a “core” of 57 Russian regions with similar characteristics of both economic development and the results of scientific activity was investigated. This increased the practical significance of the conclusions and their reliability. Results. As a result of the study, it was found out that there is a statistically significant relationship between all indicators of regional development and science in universities. However, a deeper analysis made it possible to establish that this relationship is indirect. In some cases, we can talk about the opposite influence - regional development on scientific results in universities. Conclusions. It was found that the indicators used in the public administration system for assessing the effectiveness and efficiency of scientific activity are not key in terms of their impact on regional development. It was revealed that publications in leading world databases and in the Russian Science Citation Index (RSCI) are equally related to regional development. It has been determined that in a number of cases, within the considered sample, it is possible to distinguish two groups of regions with a different nature of the relationship between regional development and science in universities. (shrink)

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, (...) we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed. (shrink)

Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...) the whole itself, becomes aggravated. Hence, the eco-humanistic problem arises. The purpose of the work is to present the content and substantiate the theoretical and practical significance of eco-humanism as a new humanitar- ian knowledge and methodology for understanding the specifics of the relationship “man — technical and-technological world”. Methods. The author uses the methods of dia- lectics, systemic and synergetic approaches, the project (projective) method, which is implemented in the design and development of a new philo- sophical and scientific discipline of eco-humanism, and ideas of co-evolution. Scientific novelty of the research. The author determines basic foundations of eco-humanism as a new type of humanitarian knowledge; formulates and meaningfully substan- tiates the main principles of eco-humanism as a methodological setting for the ecologization of a person and the world: optimality, coordination and dominance of the whole (integrity) in relation to its parts. Results. Eco-humanistics is defined as a new type of knowledge about a person and a specific setting of his thinking and practical activities, focused on finding ways and means to achieve op- timality in relation to various aspects (for example, technical and anthropological) in a person’s being to ensure the possibility of their fruitful existence, to preserve and reproduce a person (as a unique integrity) and his world (as a universal integrity), in their interconnected and interdependent unity. Conclusions. The author of the article comes to the conclusion that the theoretical development of eco-humanistics will make it possible to study and analyze the phenomena of modern culture in a more multifaceted way, to get a more accurate interpretation of the ways of human existence and eco-cultural practices that provide the effect of the state of the “ecosystem” in situations of any intense socio-cultural transformations. (shrink)

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

A structured collection of tools for engineering resilience and a research approach to improve the resilience of a power grid are described in this paper. The collection is organized by a two-dimensional array formed from typologies of power grid components and business processes. These two dimensions provide physical and operational outlooks, respectively, for a power grid. The approach for resilience research is based on building a simulation model of a power grid which utilizes a resilience assessment equation to assess baseline (...) resilience to a hazards’ profile, then iteratively selects a subset of tools from the collection, and introduces these as interventions in the power grid simulation model. Calculating the difference in resilience associated with each subset supports multicriteria decision-making to find the most convenient subset of interventions for a power grid and hazards’ profile. Resilience is an emergent quality of a power grid system, and therefore resilience research and interventions must be system-driven. This paper outlines further research required prior to the practical application of this approach. (shrink)

The purpose of the study is to investigate the features of the algorithm for forming the stock portfolio of investors using the theory of fuzzy sets, taking into account a priori uncertain input information and market dynamics. The scientific novelty of the article lies in the application of a relatively new fuzzy-multiple apparatus and the theory of fuzzy sets to the formation of the stock portfolio of investors. From a practical point of view, the proposed fuzzy model makes it possible (...) to predict not only the structure and expected return of a portfolio of securities, similarly to the application of the classical portfolio theory, but also to obtain the values of the lower and upper boundaries of the return on securities, which will allow the investor to form a more complete picture of the structure of the portfolio in the future. As a result, it was found that the use of classical statistical approaches for the formation of a stock portfolio of investors will not allow obtaining a reliable and accurate result, since traditional methods do not take into account the uncertainty factors of events in the stock market. To level information asymmetry and eliminate risks of uncertainty, it is advisable to apply the theory of fuzzy logic. (shrink)

The purpose of the study is to reveal the main actions of the major central banks during the COVID - 19 pandemic and their main impact on the world stock markets. The scientific novelty consists in identifying the key results of the impact of the pandemic in general and the restrictive measures of national governments, in particular, on the dynamics of the state of the stock markets of the world, namely, the level of decline in the main stock indexes of (...) the S &P 500, Dow Jones and NASDAQ. The measures taken by the central banks of the United States, Japan, England and other developed and developing countries of the world to provide financial assistance to commercial banks and other financial organizations related to the purchase of government bonds at a "zero" rate, targeting the yield of government bonds, reducing key rates and other measures are summarized. It is indicated that the influx of new private investors provided a great help to the stock market, for which many Central Banks introduced special programs and preferences. As a result, the main measures taken by the Central Bank of the Russian Federation to stabilize the financial situation in the country and the domestic stock market, in particular, are summarized. (shrink)

This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...) November 1922, or, at the earliest, after Florensky started to give clandestine lectures about Onomatodoxy in Moscow (where Losev lived), i.e., not earlier than spring 1921. Therefore, Losev’s article “Onomatodoxy” could have been intended for the religious-philosophical collection of articles planned for publishing by Yaschenko in 1922 in Berlin. (shrink)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something which transmits deviant or (...) non-inertial behavior to its effect. (shrink)

This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...) learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable. (shrink)

The transcription factor Nrf2 is the master regulator of cellular stress response, facilitating the expression of cytoprotective genes, including those responsible for drug detoxification, immunomodulation, and iron metabolism. FDA‐approved Nrf2 activators, Tecfidera and Skyclarys for patients with multiple sclerosis and Friedreich's ataxia, respectively, are non‐specific alkylating agents exerting side effects. Nrf2 is under feedback regulation through its target gene, transcriptional repressor Bach1. Specifically, in Parkinson's disease and other neurodegenerative diseases with Bach1 dysregulation, excessive Bach1 accumulation interferes with Nrf2 activation. Bach1 (...) is a heme sensor protein, which, upon heme binding, is targeted for proteasomal degradation, relieving the repression of Nrf2 target genes. Ideally, a combination of Nrf2 stabilization and Bach1 inhibition is necessary to achieve the full therapeutic benefits of Nrf2 activation. Here, we discuss recent advances and future perspectives in developing small molecule inhibitors of Bach1, highlighting the significance of the Bach1/Nrf2 signaling pathway as a promising neurotherapeutic strategy. (shrink)

In 1500, speculative philosophy lay at the heart of European intellectual life; by 1700, its role was drastically diminished. The Kingdom of Darkness tells the story of this momentous transformation. Dmitri Levitin explores the structural factors behind this change: the emancipation of natural philosophy from metaphysics; theologians' growing preference for philology over philosophy; and a new conception of the limits of the human mind derived from historical and oriental scholarship, not least concerning China and Japan. In turn, he shows that (...) the ideas of two of Europe's most famous thinkers, Pierre Bayle and Isaac Newton, were both the products of this transformation and catalysts for its success. Drawing on hundreds of sources in many languages, Levitin traces in unprecedented detail Bayle and Newton's conceptions of what Thomas Hobbes called The Kingdom of Darkness: a genealogical vision of how philosophy had corrupted the human mind. Both men sought to remedy this corruption, and their ideas helped lay the foundation for the system of knowledge that emerged in the eighteenth century. (shrink)

The recent surge of discoveries concerning the structural organization of nucleosomes, together with genetic evidence of highly specialized roles for the histones in gene regulation, have brought a renewed need for a detailed understanding of nucleosomal anatomy. Here we review recent structural advances leading to a new level of understanding of the nucleosome and chromatin fibre structure. We discuss the problems and challenges for existing models of chromatin structure and, in particular, consider how linker histones may bind within the nucleosome, (...) together with the implications of their association for the structure of the chromatin fibre. (shrink)

This paper considers the views of Alexander Dugin, a leading proponent of Eurasianism in contemporary Russia. The point of his teaching is the preservation of the traditional social/cultural make-up of each civilization. He also believes that the Russian Slavs together with the minorities of the Russian Federation constitute a quasi-unity of Eurasian civilization. He emphasizes that globalism, led by the USA, is a mortal threat to the cultural identity of Russia/Eurasia and all other civilizations. For this reason the USA and (...) Russia are locked in mortal conflict with one other. At the outset of his intellectual career, in post-Soviet Russia, Dugin believed that Putin would follow the Eurasian road. It would be wrong to see Dugin as an intellectual guru at the head of the post-Soviet elite. Still, his views are important, for they indicate the kinds of ideas that circulate in the minds of the Russian elite. (shrink)

In 2004 Atserias, Kolaitis, and Vardi proposed $\text {OBDD}$ -based propositional proof systems that prove unsatisfiability of a CNF formula by deduction of an identically false $\text {OBDD}$ from $\text {OBDD}$ s representing clauses of the initial formula. All $\text {OBDD}$ s in such proofs have the same order of variables. We initiate the study of $\text {OBDD}$ based proof systems that additionally contain a rule that allows changing the order in $\text {OBDD}$ s. At first we consider a proof (...) system $\text {OBDD}$ that uses the conjunction rule and the rule that allows changing the order. We exponentially separate this proof system from $\text {OBDD}$ proof system that uses only the conjunction rule. We prove exponential lower bounds on the size of $\text {OBDD}$ refutations of Tseitin formulas and the pigeonhole principle. The first lower bound was previously unknown even for $\text {OBDD}$ proofs and the second one extends the result of Tveretina et al. from $\text {OBDD}$ to $\text {OBDD}$.In 2001 Aguirre and Vardi proposed an approach to the propositional satisfiability problem based on $\text {OBDD}$ s and symbolic quantifier elimination $ algorithms). We augment these algorithms with the operation of reordering of variables and call the new scheme $\text {OBDD}$ algorithms. We notice that there exists an $\text {OBDD}$ algorithm that solves satisfiable and unsatisfiable Tseitin formulas in polynomial time, but we show that there are formulas representing systems of linear equations over $\mathbb {F}_2$ that are hard for $\text {OBDD}$ algorithms. Our hard instances are satisfiable formulas representing systems of linear equations over $\mathbb {F}_2$ that correspond to checksum matrices of error correcting codes. (shrink)

SummaryHistorians of science have neglected early modern natural philosophers' varied attitudes to the history of philosophy, often preferring to use loose labels such as ‘Epicureanism’ to describe the survival of ancient doctrines. This is methodologically inappropriate: reifying such philosophical movements tells us little about the complex ways in which early modern natural philosophers approached the history of their own discipline. As this article shows, a central figure of early modern natural philosophy, Robert Boyle, invested great intellectual energy into his depiction (...) of the history of philosophy. Boyle's historical worldview was mediated through an array of textual traditions: classical, patristic, humanist and contemporary. Drawing extensively on his manuscript notes, this is examined for three topics. First, from his turn to natural philosophy in the late 1640s, Boyle combined a sceptical attitude towards philosophy's potential – stemming from humanist historicisations of the ‘speculative’ heritage of Greek philosophy – with a belief in natural philosophy's efficacy as a spiritual exercise, as performed by ancient ‘priests of nature’. Second, Boyle's attitude to the history of matter theory was far more complex than any simple comparison with ‘ancient atomism’ can convey. Unlike many of his contemporaries, Boyle held Epicurus to be a speculative and reductionist philosopher, leading him to posit a different lineage for a non-reductionist corpuscularianism which depended on exploitation of non-standard historiographical traditions. Appreciating this allows us to make an intervention in the ongoing debate about the relationship between corpuscularianism, chymistry and experiment in Boyle's philosophy. Third, Boyle's historicisation of supposedly anthropomorphic philosophies in his famous Free Enquiry exploited recent theological historiography, most importantly Samuel Parker's combination of the history of idolatry with the history of Greek philosophy, which itself relied on developments in continental sacred history. It was this historicisation, rather than any philosophical realities, which led to the positing of the mechanical philosophy as more compatible than Aristotelianism with Christian doctrine. (shrink)